f :: a -> b